last-solution(es;P;d)(e)
== case TERMOF{last-event:ObjectId, 1:l, i:l}(es,e,P,d)
== of inl(x) => inr  
== o| inr(p) => inl (p.1)  

latex

---

clarification:

last-solution{i:l}(es; P; d)(e)
== case TERMOF{last-event:ObjectId, 1:l, i:l}(es,e,P,d)
== of inl(x) => inr  
== o| inr(p) => inl (p.1)  

latex

Definitions	x.A(x), case b of inl(x) => s(x) | inr(y) => t(y), f(a), last-event, inr x , , inl x , t.1
FDL editor aliases	last-solution